$g$$\downarrow$set $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$<\mid$$g$$\mid$, =$_{b}$, $\leq_{b}>$